vellum solver